﻿Структура курса
admin|2009/01/15 23:58:41
##PAGE##
====Оглавление====
# Основные понятия
## [FpSystems|Основные понятия]
## [Programs| Примеры программ]
## [FpSpecial|Особенности FP]
# FP-алгебра программ
## [Axioms|Аксиомы алгебры программ]
## [Theorems|Теоремы-следствия аксиом]
## [RTheorems|Теоремы разложения]
# Развитие FP
## [FFP|Системы FFP]
## [FL|Язык FL]
# Приложение
## [John Backus| Биография Джона Бэкуса]
## [Refrences| Рекоммендуемая литература]
## [InterpreterRefrence|Справочник по работе интерпретатора]



